Static slicing of explicitly synchronized languages

Static slicing of explicitly synchronized languages

Static analysis of concurrent languages is a complex task due to the non-deterministicexecution of processes. If the concurrent language being studied allows process synchro-nization, then the analyses are even more complex (and thus expensive), e.g., due to thephenomenon of deadlock. In this work we introduce a static analysis technique based onprogram slicing for concurrent an...

Synchronized Shuue and Regular Languages Synchronized Shuue and Regular Languages

New representation results for three families of regular languages are stated, using a special kind of shuue operation, namely the synchronized shuue. First, it is proved that the family of regular star languages is the smallest family containing the language (a + bc) and closed under synchronized shuue and length preserving morphism. The second representation result states that the family of "...

Static Slicing of Reactive Programs

Static Slicing of Rewrite Systems

Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineering (like program debugging, testing, code reuse, maintenance, etc). Slicing has been widely studied within the imperative programming paradigm, where it is often based on the so called program dependence graph, a data str...

Practical Ne-grained Static Slicing of Optimized Code Practical Ne-grained Static Slicing of Optimized Code

Program slicing is a technique for visualizing dependences and restricting attention to just the components of a program relevant to evaluation of certain expressions. Backward slicing reveals which other parts of the program the expressions' meaning depends on, while forward slicing determines which parts of the program depend on their meaning. Slicing helps programmers understand program stru...